mcsta/modest mcsta resource-gathering.jani -E B=1300,GOLD_TO_COLLECT=100,GEM_TO_COLLECT=100 --props expsteps -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --epsilon 0 --absolute-epsilon
resource-gathering.jani:model: info: resource-gathering is an MDP model.
resource-gathering.jani: info: Need 16 bytes per state.
resource-gathering.jani: info: Explored 958801 states for B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100.
resource-gathering.jani:properties[1]: warning: Computing minimum expected reward in property "expsteps" without checking for zero-reward end components.
Peak memory usage: 499 MB
Analysis results for resource-gathering.jani
Experiment B=1300, GOLD_TO_COLLECT=100, GEM_TO_COLLECT=100
+ State space exploration
State size: 16 bytes
States: 958801
Transitions: 3080401
Branches: 3325201
Rate: 247752 states/s
Time: 4.1 s
+ Property expsteps
Value: 1292.592592592597
Bounds: [1292.592592592597, infinity)
Time: 154.4 s
+ Precomputations
Max. prob. 1 states: 958801
Time for max. prob. 1 states: 104.4 s
+ Essential states
Iterations: 1
Essential states: 958801
Transitions: 3080401
Branches: 3325201
Time: 0.1 s
+ Value iteration
Final error: 0
Iterations: 680
Time: 49.9 s
Exported results to file "/out.txt".